p  q == q  p 

latex

Up	bool 1, bool 1
Wellformedness Lemmas	rev bimplies wf, rev bimplies wf
Definitions	p  q
FDL editor aliases	rev_bimplies